More from this Author
Found 3 books by Stefano Berardi (Editor)
Types for Proofs and Programs
by Stefano Berardi (Editor), Mario Coppo (Editor), Ferruccio Damiani (Editor)
Types for Proofs and Programs
by Stefano Berardi (Editor), Ferruccio Damiani (Editor), Ugo de Liguoro (Editor)
Types for Proofs and Programs
by Stefano Berardi (Editor), Ferruccio Damiani (Editor), Ugo de Liguoro (Editor)